solving for an unknown in a proportion